Juergen Dingel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) - Montreal, QC, Canada (2019.5.26-2019.5.27)] 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) - Enabling Model-Driven Software Development Tools for the Internet of Things

Jahed, Karim, Dingel, Juergen

Year:

2019

Language:

english

File:

PDF, 198 KB

english, 2019

2

[ACM Press the 1st ACM SIGSOFT workshop - Newport Beach, California (2004.10.31-2004.11.01)] Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems - WOSS '04 - A survey of self-management in dynamic software architecture specifications

Bradbury, Jeremy S., Cordy, James R., Dingel, Juergen, Wermelinger, Michel

Year:

2004

Language:

english

File:

PDF, 192 KB

english, 2004

3

Model development guidelines for UML-RT: conventions, patterns and antipatterns

Das, Tuhin Kanti, Dingel, Juergen

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 4.88 MB

english, 2016

4

Controller synthesis for dynamic hierarchical real-time plants using timed automata

Waez, Md Tawhid Bin, Wąsowski, Andrzej, Dingel, Juergen, Rudie, Karen

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.14 MB

english, 2017

5

Survey and classification of model transformation tools

Kahani, Nafiseh, Bagherzadeh, Mojtaba, Cordy, James R., Dingel, Juergen, Varró, Daniel

Journal:

Software & Systems Modeling

Year:

2018

Language:

english

File:

PDF, 1.59 MB

english, 2018

6

A model-based architecture for interactive run-time monitoring

Hili, Nicolas, Bagherzadeh, Mojtaba, Jahed, Karim, Dingel, Juergen

Journal:

Software & Systems Modeling

Year:

2020

Language:

english

File:

PDF, 2.15 MB

english, 2020

7

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) - Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines

Rajbahadur, Gopi Krishnan, Oliva, Gustavo Ansaldi, Hassan, Ahmed E., Dingel, Juergen

Year:

2019

Language:

english

File:

PDF, 1.76 MB

english, 2019

8

Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking

Jesse McGeachie, Juergen Dingel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

9

Using source transformation to test and model check implicit-invocation systems

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Juergen Dingel

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 3.29 MB

english, 2006

10

Information and communication theory in molecular biology

Pavol Hanus, Bernhard Goebel, Janis Dingel, Johanna Weindl, Juergen Zech, Zaher Dawy, Joachim Hagenauer, Jakob C. Mueller

Journal:

Electrical Engineering (Archiv fur Elektrotechnik)

Year:

2007

Language:

english

File:

PDF, 593 KB

english, 2007

11

Compositional Analysis of C/C++ Programs with VeriSoft

Journal:

Acta Informatica

Year:

2006

Language:

english

File:

PDF, 708 KB

english, 2006

12

UML vs. classical vs. rhapsody statecharts: not all models are created equal

Michelle L. Crane, Juergen Dingel

Journal:

Software & Systems Modeling

Year:

2007

Language:

english

File:

PDF, 1.49 MB

english, 2007

13

Source Transformation for Concurrency Analysis

Timothy Cassidy, James R. Cordy, Thomas R. Dean, Juergen Dingel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 282 KB

english, 2005

14

Runtime Conformance Checking of Objects Using Alloy

Michelle L. Crane, Juergen Dingel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 206 KB

english, 2003

15

[Lecture Notes in Computer Science] Models in Software Engineering Volume 6627 || Mapping Aspect-Oriented Models to Aspect-Oriented Code

Dingel, Juergen, Solberg, Arnor

Year:

2011

Language:

english

File:

PDF, 467 KB

english, 2011

16

[Lecture Notes in Computer Science] Models in Software Engineering Volume 6627 || Quality of Service-Oriented Software Systems (QUASOSS 2010)

Dingel, Juergen, Solberg, Arnor

Year:

2011

Language:

english

File:

PDF, 104 KB

english, 2011

17

A survey of timed automata for the development of real-time systems

Waez, Md Tawhid Bin, Dingel, Juergen, Rudie, Karen

Journal:

Computer Science Review

Year:

2013

Language:

english

File:

PDF, 851 KB

english, 2013

18

Model transformations for migrating legacy deployment models in the automotive industry

Selim, Gehan M. K., Wang, Shige, Cordy, James R., Dingel, Juergen

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 736 KB

english, 2015

19

[Lecture Notes in Computer Science] Models in Software Engineering Volume 6627 || Models and Evolution - ME2010

Dingel, Juergen, Solberg, Arnor

Year:

2011

Language:

english

File:

PDF, 88 KB

english, 2011

20

An executable formal semantics for UML-RT

Posse, Ernesto, Dingel, Juergen

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 3.20 MB

english, 2016

21

Concurrency control generation for dynamic threads using discrete-event systems

Auer, Anthony, Dingel, Juergen, Rudie, Karen

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.19 MB

english, 2014

22

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.27-2006.05.27)] Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools - SCESM '06 - A comparative survey of scenario-based to state-based model synthesis approaches

Liang, Hongzhi, Dingel, Juergen, Diskin, Zinovy

Year:

2006

Language:

english

File:

PDF, 228 KB

english, 2006

23

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 356 KB

english, 2014

24

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - SAUML: A tool for symbolic analysis of UML-RT models

Zurowska, Karolina, Dingel, Juergen

Year:

2011

Language:

english

File:

PDF, 915 KB

english, 2011

25

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 ||

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 24.47 MB

english, 2014

26

[IEEE Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Raleigh, NC, USA (2006.11.7-2006.11.10)] Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Mutation Operators for Concurrent Java (J2SE 5.0)

Bradbury, Jeremy S., Cordy, James R., Dingel, Juergen

Year:

2006

Language:

english

File:

PDF, 187 KB

english, 2006

27

[IEEE 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Fairfax, VA, USA (2010.10.17-2010.10.20)] 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications - Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation

Posse, Ernesto, Dingel, Juergen

Year:

2010

Language:

english

File:

PDF, 427 KB

english, 2010

28

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Comparative Assessment of Testing and Model Checking Using Program Mutation

Bradbury, Jeremy S., Cordy, James R., Dingel, Juergen

Year:

2007

Language:

english

File:

PDF, 368 KB

english, 2007

29

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Model-Driven Development of Mobile Applications Allowing Role-Driven Variants

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

30

[IEEE Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Raleigh, NC, USA (2006.11.7-2006.11.10)] Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis

Bradbury, Jeremy S., Cordy, James R., Dingel, Juergen

Year:

2006

Language:

english

File:

PDF, 753 KB

english, 2006

31

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems

Saifan, Ahmad A., Dingel, Juergen, Bradbury, Jeremy S., Posse, Ernesto

Year:

2011

Language:

english

File:

PDF, 355 KB

english, 2011

32

[IEEE 2007 Information Theory and Applications Workshop - La Jolla, CA, USA (2007.01.29-2007.02.2)] 2007 Information Theory and Applications Workshop - Information Theoretic Distance Measures in Phylogenomics

Hanus, Pavol, Dingel, Janis, Zech, Juergen, Hagenauer, Joachim, Mueller, Jakob C.

Year:

2007

Language:

english

File:

PDF, 18.84 MB

english, 2007

33

Model transformation intents and their properties

Lúcio, Levi, Amrani, Moussa, Dingel, Juergen, Lambers, Leen, Salay, Rick, Selim, Gehan M. K., Syriani, Eugene, Wimmer, Manuel

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 2.84 MB

english, 2016

34

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems

Moffett, Yann, Dingel, Juergen, Beaulieu, Alain

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 2.36 MB

english, 2013

35

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Incremental Test Case Generation for UML-RT Models Using Symbolic Execution

Rapos, Eric James, Dingel, Juergen

Year:

2012

Language:

english

File:

PDF, 270 KB

english, 2012

36

[Lecture Notes in Computer Science] Models in Software Engineering Volume 6627 || The Role of Models and Megamodels at Runtime

Dingel, Juergen, Solberg, Arnor

Year:

2011

Language:

english

File:

PDF, 324 KB

english, 2011

37

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL

Dingel, Juergen, Liang, Hongzhi

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 184 KB

english, 2004

38

Evaluating and improving the automatic analysis of implicit invocation systems

Bradbury, Jeremy S., Dingel, Juergen

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 169 KB

english, 2003

39

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Ontology-Based Modeling of Context-Aware Systems

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 342 KB

english, 2014

40

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Automated Chaining of Model Transformations with Incompatible Metamodels

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

41

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

42

[Lecture Notes in Computer Science] Models in Software Engineering Volume 6627 || A Specification-Based Test Case Generation Method for UML/OCL

Dingel, Juergen, Solberg, Arnor

Year:

2011

Language:

english

File:

PDF, 290 KB

english, 2011

43

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 642 KB

english, 2014

44

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 219 KB

english, 2014

45

[Lecture Notes in Computer Science] Models in Software Engineering Volume 6627 || Traceability for Mutation Analysis in Model Transformation

Dingel, Juergen, Solberg, Arnor

Year:

2011

Language:

english

File:

PDF, 329 KB

english, 2011

46

[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Automating comprehensive safety analysis of concurrent programs using verisoft and TXL

Dingel, Juergen, Liang, Hongzhi

Year:

2004

Language:

english

File:

PDF, 184 KB

english, 2004

47

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Experience applying the SPIN model checker to an industrial telecommunications system

Long, Barry, Dingel, Juergen, Graham, T.C. Nicholas

Year:

2008

Language:

english

File:

PDF, 430 KB

english, 2008

48

[ACM Press The 6th ACM SIGPLAN-SIGSOFT workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 - An empirical framework for comparing effectiveness of testing and property-based formal analysis

Bradbury, Jeremy S., Cordy, James R., Dingel, Juergen

Year:

2005

Language:

english

File:

PDF, 94 KB

english, 2005

49

[ACM Press the 16th ACM SIGSOFT International Symposium - Atlanta, Georgia (2008.11.09-2008.11.14)] Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16 - Generation of concurrency control code using discrete-event systems theory

Dragert, Christopher, Dingel, Juergen, Rudie, Karen

Year:

2008

Language:

english

File:

PDF, 505 KB

english, 2008

50

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Symbolic execution of UML-RT State Machines

Zurowska, Karolina, Dingel, Juergen

Year:

2012

Language:

english

File:

PDF, 693 KB

english, 2012